KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww

Source URL: www.inf.unibz.it

• Mathematics
• Logic
• Mathematical logic
• Ontology
• Boolean algebra
• Mereology
• Predicate logic
• Algebraic logic
• ZermeloFraenkel set theory
• Binary relation
• Power set
• Mereotopology

DYNAMICS OF TAHYON FIELDS ON (NON-)ARCHIMEDEAN SPACES TOWARDS ORIGIN OF INFLATION. Goran S. Djordjevi´c Department of Physics, Faculty of Science and Mathematics, University of Niˇs, Viˇsegradska 33, 18000 Niˇs, Serb

Source URL: events.theory.nipne.ro

The Web Service Modeling Framework WSMF D. Fensel1 and C. Bussler2 1 Vrije Universiteit Amsterdam (VU) Faculty of Sciences, Division of Mathematics and Computer Science

Source URL: www.wsmx.org

Faculty of Science University of Kragujevac Kragujevac, Serbia Faculty of Mathematics University of Belgrade Belgrade, Serbia

Source URL: tesla.pmf.ni.ac.rs

Announcement of an open position at the Institute of Statistics, Faculty of Mathematics, Physics and Geodesy, Graz University of Technology Professor of Applied Statistics (full time, permanent position under private law

Source URL: www.tugraz.at

• Graz University of Technology
• Graz
• Academic degree
• Doctor of Philosophy

Some remarks to the theorem of Wan for HQC mappings Miljan Kneˇzevi´c University of Belgrade, Faculty of Mathematics, Belgrade, SERBIA []

Source URL: tesla.pmf.ni.ac.rs

UNIVERSIDADE EDUARDO MONDLANE SCIENCE FACULTY DEPARTMENT OF MATHEMATICS AND INFORMATICS Project Evaluation:

Source URL: www.caicc.org.mz

The REDUCE Sum Package VerOct 1989 Fujio Kako Department of Mathematics Faculty of Science Hiroshima University

Source URL: www.reduce-algebra.com

VISUALIZATION OF TIME-VARYING NATURAL TREE DATA Steffen Brasch Department of Mathematics and Computer Science University of Greifswald Greifswald, Germany

Source URL: www.faculty.jacobs-university.de

JMLR: Workshop and Conference Proceedings vol 40:1–12, 2015 An Almost Optimal PAC Algorithm Hans Ulrich Simon HANS . SIMON @ RUB . DE Horst G¨ortz Institute for IT Security and Faculty of Mathematics, Ruhr-University

Source URL: jmlr.org